Rodin Andrei V., Kovalyov Sergei P. «The problem of justification in formal knowledge representation» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2018. №46 C.22-29
Lamberov Lev D. «The Concept of Proof in the Context of a Type-Theoretic Approach, III: Proofs as (Some) Types» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2020. №57 C.25-32
